EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
نویسندگان
چکیده
منابع مشابه
Everyone Knows That Someone Knows: Quantifiers over Epistemic Agents
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the firstorder modal logic S5 with respect to a possible worlds semantics. A multiagent version of the propositional S5 as well as a version of the propositional S5 that describes properties of distributed knowledge in multiagent systems has also...
متن کاملWhat Everyone Knows About Attention
If intelligent computer programs are to represent and reason about mental states and processes, a critical first step is to characterize the content to be represented. Toward that goal, I sketch an outline of a folk psychology of one important mental process, attention. The everyday knowledge people have about their own and others’ attentional processes is characterized in a number of generaliz...
متن کاملEveryone knows what is interesting : Salient locations which should
Most natural scenes are too complex to be perceived instantaneously in their entirety. Observers therefore have to select parts of them and process these parts sequentially. We study how this selection and prioritization process is performed by humans at two different levels. One is the overt attention mechanism of saccadic eye movements in a free-viewing paradigm. The second is a conscious dec...
متن کاملHow George Soros Knows What He Knows
In its traditional formulation as an explanatory principle, reflexivity means that any object of thought contains in itself the thinking activity that generates it. Applying the concept of reflexivity to the question of financial markets valuation, Soros concludes that economic reality is actively shaped by the perceptions of market participants. This leads him to a theory of investment radical...
متن کاملHow George Soros Knows What He Knows
In its traditional formulation as an explanatory principle, reflexivity means that any object of thought contains in itself the thinking activity that generates it. Applying the concept of reflexivity to the question of financial markets valuation, Soros concludes that economic reality is actively shaped by the perceptions of market participants. This leads him to a theory of investment radical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2019
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020318000497